Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
371	The Combinatorics of Non-determinism∗ ´ eric ´ Peschanski‡ . Olivier Bodini†, Antoine Genitrini‡and Fred [removed], {Antoine.Genitrini,Frederic.Peschanski}@lip6.fr. Add to Reading List Source URL: www-apr.lip6.fr Language: English - Date: 2013-12-05 10:18:28 Enumerative combinatorics Integer sequences Computational complexity theory Factorial Computation tree B-tree Combinatory logic Combinatorial species Tree Mathematics Combinatorics Discrete mathematics
372	On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas ˇ ˇ Ondˇrej Cepek and Stefan Add to Reading List Source URL: www.cs.uic.edu Language: English - Date: 2013-12-21 14:10:02 Logic in computer science Boolean algebra Complexity classes NP-complete problems Conjunctive normal form Computational problems 2-satisfiability Boolean satisfiability problem Disjunctive normal form Theoretical computer science Computational complexity theory Applied mathematics
373	GENERAL INFORMATICS & SANSKRIT BA SANSKRIT V SEMESTER CORE COURSE Add to Reading List Source URL: www.universityofcalicut.info Language: English - Date: 2013-09-05 03:12:30 Algorithm Mathematical logic Computer Computing Stack Computational complexity theory Theoretical computer science Applied mathematics Mathematics
374	The Chaos Within Sudoku M´ aria Ercsey-Ravasz1, ∗ and Zolt´an Toroczkai2, 3, † arXiv:1208.0370v1 [nlin.CD] 1 Aug 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-08-02 20:18:34 NP-complete problems Logic puzzles Recreational mathematics Constraint programming Logic in computer science 2-satisfiability Sudoku Constraint satisfaction Boolean satisfiability problem Theoretical computer science Mathematics Computational complexity theory
375	The Handling of Disjunctive Fuzzy Information via Neural Network Approach Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 03:21:27 Fuzzy logic Science Machine learning Control engineering Fuzzy control system Artificial intelligence Self-organizing map Counterpropagation network Regulatory feedback network Neural networks Cybernetics Computational neuroscience
376	RCC8 Is Polynomial on Networks of Bounded Treewidth Add to Reading List Source URL: ijcai.org Language: English - Date: 2011-06-29 07:11:21 Knowledge representation Logic Constraint programming Computational topology Region connection calculus Mathematics Mathematical logic Cognitive science
377	Dependency Parsing for Weibo: An Efficient Probabilistic Logic Programming Approach William Yang Wang, Lingpeng Kong, Kathryn Mazaitis, William W. Cohen Language Technologies Institute & Machine Learning Department Carne Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-27 11:03:52 Information science Treebank Parsing Dependency grammar Natural language processing Parse tree Association for Computational Linguistics Statistical parsing Search engine indexing Linguistics Computational linguistics Science
378	Algorithmica[removed]:[removed]Algorithmica[removed]Springer-Verlag New York Inc. Efficient Convexity and Domination Algorithms for Add to Reading List Source URL: deepblue.lib.umich.edu Language: English - Date: 2015-01-16 14:55:31 Sorting algorithms Convex hull algorithms Algorithm Mathematical logic Theoretical computer science Hypercube Bitonic sorter Convex hull LP-type problem Geometry Mathematics Computational geometry
379	IEICE TRANS. INF. & SYST., VOL.E86–D, NO.12 DECEMBER[removed]PAPER Add to Reading List Source URL: ddg.jaist.ac.jp Language: English - Date: 2004-06-13 12:09:21 Concurrency control Analysis of algorithms Algorithm Mathematical logic Distributed algorithm Distributed computing Throughput Latency Atomic broadcast Theoretical computer science Applied mathematics Computational complexity theory
380	The Role of Syntax in Vector Space Models of Compositional Semantics Karl Moritz Hermann and Phil Blunsom Department of Computer Science University of Oxford Oxford, OX1 3QD, UK {karl.moritz.hermann,phil.blunsom}@cs.ox.a Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-07-25 09:24:47 Semantics Information retrieval Logic in computer science Combinatory categorial grammar Combinatory logic Semantic similarity Categorial grammar Vector space model Word-sense disambiguation Linguistics Computational linguistics Science

UPDATE